TAGs: one-to-one function checker